rule of hypothetical syllogism

假言三段论规则